Skip to content

Conversation

GuillaumeGomez
Copy link
Member

Successful merges:

Failed merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

ojeda and others added 15 commits January 29, 2021 19:10
Now that rust-lang#81383 is available,
start using it.

Signed-off-by: Miguel Ojeda <[email protected]>
… `ExactSizeIterator` docs

As it is a safe trait it does not provide any guarantee that the
returned length is correct and as such unsafe code must not rely on it.

That's why `TrustedLen` exists.

Fixes rust-lang#81739
…=scottmcm

btree: use Option's unwrap_unchecked()

Now that rust-lang#81383 is available, start using it.
…ness, r=kennytm

Add a note about the correctness and the effect on unsafe code to the `ExactSizeIterator` docs

As it is a safe trait it does not provide any guarantee that the
returned length is correct and as such unsafe code must not rely on it.

That's why `TrustedLen` exists.

Fixes rust-lang#81739
…42, r=GuillaumeGomez

Add long error explanation for E0542

Helps with rust-lang#61137
…-e0546, r=GuillaumeGomez

Improve long explanation for E0546

Helps with rust-lang#61137
@rustbot rustbot added the rollup A PR which is a rollup label Feb 7, 2021
@GuillaumeGomez
Copy link
Member Author

@bors: r+

@bors
Copy link
Collaborator

bors commented Feb 7, 2021

📌 Commit 9a82417 has been approved by GuillaumeGomez

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Feb 7, 2021
@GuillaumeGomez
Copy link
Member Author

@bors: p=5

@bors
Copy link
Collaborator

bors commented Feb 7, 2021

⌛ Testing commit 9a82417 with merge 5a5f3a9...

@bors
Copy link
Collaborator

bors commented Feb 7, 2021

☀️ Test successful - checks-actions
Approved by: GuillaumeGomez
Pushing 5a5f3a9 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 7, 2021
@bors bors merged commit 5a5f3a9 into rust-lang:master Feb 7, 2021
@rustbot rustbot added this to the 1.52.0 milestone Feb 7, 2021
@GuillaumeGomez GuillaumeGomez deleted the rollup-xzh1z4v branch February 7, 2021 16:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants